|
The Haskell Road to Logic, Maths and Programming (Texts in Computing)Автор: Kees Doets, Автор: van Jan Eijck
Размер книги: 1.42 Mb
Basic Model Theory (Center for the Study of Language and Information - Lecture Notes)Автор: Kees Doets
Размер книги: 4.00 Mb
The Haskell road to logic, maths and programmingАвтор: Kees Doets; J van EijckКатегория: Cs_Computer science, CsDi_Discrete math
Размер книги: 1.21 Mb
The Haskell Road to Logic, Maths and Programming (Texts in Computing Series, Vol.4)Автор: Doets K., Автор: van Eijck J., Автор: Mackie I. (Ed)
Размер книги: 1.40 Mb
|
|
|